#incomplete

computable predicate

References

  1. https://blog.computationalcomplexity.org/2004/04/blum-complexity-measures.html
  2. https://en.m.wikipedia.org/wiki/Blum's_speedup_theorem